Meta-inferences and Supervaluationism

Abstract Many classically valid meta-inferences fail in a standard supervaluationist framework. This allegedly prevents supervaluationism from offering an account of good deductive reasoning. We provide proof system for logic which includes supervaluationistically acceptable versions the classical meta-inferences. The emerges naturally by thinking truth as licensing assertion, falsity negative assertion and lack truth-value rejection weak assertion. Moreover, respects well-known criteria admissibility inference rules. Thus, supervaluationists can Our moreover brings to light how one revise framework make room higher-order vagueness. prove that resulting is sound complete with respect consequence relation preserves model non-normal modal NT . Finally, we extend our approach first-order setting show treat vagueness same way at every order. failure conditional other crucial ingredient this treatment hence should be embraced, not lamented.